21. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
22. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
23. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
24. Computation and proof theory
پدیدآورنده: / edited by M. M. Richter ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity -- Congresses,Proof theory -- Congresses
رده :
QA
9
.
59
.
C65
1983
25. Computation and proof theory
پدیدآورنده: ed. by M.M. Richter ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
26. Computation and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory
رده :
511
C738
27. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
28. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
29. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
30. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
31. Elementary set theory: Proof techniques
پدیدآورنده: Gordon, Carl E.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
150
.
G6
E4
1975
32. Essentials of mathematics: introduction to theory, proof, and the professional culture
پدیدآورنده: Hale, Margie.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics
رده :
QA
39
.
3
.
H34
2003
33. Factors and Factorizations of Graphs: Proof Techniques in Factor Theory
پدیدآورنده: / Jin Akiyama, Mikio Kano (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
34. Factors and factorizations of graphs proof techniques in factor theory
پدیدآورنده: / Jin Akiyama, Mikio Kano
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Factors (Algebra),Factorization (Mathematics),Graph theory
رده :
QA161
.
F3A35
2011
35. Factors and factorizations of graphs : proof techniques in factor theory
پدیدآورنده: Jin Akiyama, Mikio Kano
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Factors )Algebra(,، Factorization )Mathematics(,، Graph theory
رده :
QA
3
.
L28
Vol
.
2031
36. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
37. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
38. Handbook of proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Proof theory
رده :
QA
9
.
54
.
H35
39. Handbook of proof theory
پدیدآورنده: edited by Samuel R. Buss
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
H2
40. Hybrid Logic and its Proof-Theory
پدیدآورنده: / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
